Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:
математика
типовый квантор
математика
логический квантор
['tipik(ə)l]
общая лексика
типичный
обычный, типовой
типический
типовой
характерный
Смотрите также
прилагательное
общая лексика
типичный
типический
символический
эмблематический
синоним
In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages.